prior-f-fixedpoints(e)
== if f(e) = e
== then if e  prior(Sys) then prior-f-fixedpoints(prior(Sys)(e)) @ [e] else [e] fi 
== else prior-f-fixedpoints(f**(e))
== fi 

---

clarification:

es-prior-fixedpoints{i:l}
es-prior-fixedpoints(es; Sys; f; e)
== if es-eq-E(es; (f(e)); e)
== then if e  es-prior-interface{i:l}(es; Sys)
== then then es-prior-fixedpoints{i:l}(es; Sys; f; es-prior-interface{i:l}(es; Sys)(e)) @ [e / []]
== then else [e / []]
== then fi 
== else es-prior-fixedpoints{i:l}
== else es-prior-fixedpoints(es; Sys; f; es-fix(es;f;e))
== fi 
(recursive) 

latex

Definitions	f**(e), f(a), [], [car / cdr], prior(X), X(e), as @ bs, e  X, if b then t else f fi , e = e', x.A(x), Y
FDL editor aliases	es-prior-fixedpoints